void ElevatorLogic_GoTo (int floor);
void ElevatorLogic_CallEmergency ();
void ElevatorLogic_ResumeOperations ();
void ElevatorLogic_Above (int floor);
void ElevatorLogic_At (int floor);
void ElevatorLogic_Below (int floor);

void ElevatorLogic_Initialize ();
void ElevatorLogic_Operate ();
void GoTo (int floor);
void CallEmergency ();
void ResumeOperations ();
void Above (int floor);
void At (int floor);
void Below (int floor);